-
1 symbolic calculus
Большой англо-русский и русско-английский словарь > symbolic calculus
-
2 symbolic calculus
Математика: символическое исчисление -
3 symbolic calculus
-
4 calculus
-
5 predicate calculus
ветвь логики (см. symbolic logic); лежит в основе языков логического программирования.Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > predicate calculus
-
6 символическое исчисление
Большой англо-русский и русско-английский словарь > символическое исчисление
-
7 language
язык || языковой- action description language
- actual machine language
- agent programming language
- AI language
- Algol-like language
- algorithmical language
- algorithmic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assembly-output language
- assignment-free language
- behavioral language
- bidirectional language
- block-structured language
- Boolean-based language
- business definition language
- business-oriented language
- calculus-type language
- C-based language
- client-side language
- code language
- command language
- compiled language
- compiler language
- component definition language
- composite language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-programming language
- computer-sensitive language
- consensus language
- context-free language
- control language
- conversational language
- core language
- data definition language
- data description language
- data language
- data manipulation language
- data storage description language
- database language
- data-entry language
- data-flow language
- data-query language
- declarative language
- defining language
- descriptive language
- descriptor language
- design language
- device media control language
- direct execution language
- directly interpretable language
- Dyck language
- end-user language
- escape language
- evolutive language
- executive-control language
- executive language
- explicit language
- extensible language
- fabricated language
- finite state language
- flow language
- foreign language
- formalized language
- frame-based language
- freestanding language
- functional language
- generated language
- graphics language
- graph-oriented language
- hardware-description language
- hardware language
- higher-level language
- higher-order language
- host language
- human language
- human-oriented language
- human-readable language
- indexed language
- information retrieval language
- informational language
- information language
- inherently ambiguous language
- input language
- input/output language
- instruction language
- integrated language
- interactive language
- interim language
- intermediate language
- internal language
- interpreted language
- job control language
- job-oriented language
- knowledge representation language
- language pair
- letter-equivalent languages
- linear language
- linear-programming language
- list-processing language
- logic-type language
- low-level language
- machine language
- machine-dependent language
- machine-independent language
- machine-oriented language
- macroassembly language
- macro language
- macroinstruction language
- macroprogramming language
- man-to-computer language
- mathematical formular language
- memory management language
- mnemonic language
- modeling language
- native language
- natural language
- NC programming language
- nested language
- network-oriented language
- nonprocedural language
- numder language
- object language
- object modeling language
- object-oriented language
- one-dimensional language
- operator-oriented language
- original language
- page description language
- parallel language
- phrase structure language
- predicate language
- predicate logic-based language
- predicate logic language
- privacy language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- process control language
- production language
- program language
- programming language
- pseudo language
- pseudomachine language
- query language
- readable specification language
- reference language
- regular language
- relational language
- relational-type language
- representation language - requirements modeling language
- restricted language
- rule-based language
- ruly language
- schema language
- science-oriented language
- script language
- self-contained language
- semantic-formal language
- semiformal language
- sentential language
- serial language
- simulation language
- single-assignment language
- source language
- specialized language
- specification language
- stream-based language
- strict language
- structured programming language
- structured query language
- super language
- super-high-level language
- symbolic language
- symbolic programming language
- syntax language
- synthetic language
- system input language
- system language
- system-oriented language
- tabular language
- target language
- TC language
- time sharing language
- type-free language
- unified modeling language
- update language
- user language
- user-oriented language
- very-high-level languageEnglish-Russian dictionary of computer science and programming > language
-
8 mathematics
English-Russian dictionary of computer science and programming > mathematics
-
9 mathematics
См. также в других словарях:
symbolic calculus — simbolinis skaičiavimas statusas T sritis automatika atitikmenys: angl. symbolic calculus; symbolic computation vok. symbolisches Rechnen, n rus. символьное вычисление, n pranc. calcul symbolique, m; computation symbolique, f … Automatikos terminų žodynas
symbolic computation — simbolinis skaičiavimas statusas T sritis automatika atitikmenys: angl. symbolic calculus; symbolic computation vok. symbolisches Rechnen, n rus. символьное вычисление, n pranc. calcul symbolique, m; computation symbolique, f … Automatikos terminų žodynas
Symbolic logic — is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical … Wikipedia
Calculus (disambiguation) — Calculus is Latin for pebble, and has a number of meanings in English: In mathematics and computer science Calculus , in its most general sense, is any method or system of calculation. To modern theoreticians the answer to the question what is a… … Wikipedia
calculus — [kal′kyo͞o ləs, kal′kyələs] n. pl. calculi [kal′kyəlī΄] or calculuses [L: see CALCULATE] 1. any abnormal stony mass or deposit formed in the body, as in a kidney or gallbladder or on teeth: see TARTAR (sense 2) 2. Math. a) any system of… … English World dictionary
Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables … Wikipedia
calculus — noun a) calculation, computation lambda calculus b) Any formal system in which symbolic expressions are manipulated according to fixed rules. predicate calculus … Wiktionary
symbolic logic — noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity • Syn: ↑mathematical logic, ↑formal logic • Hypernyms: ↑logic, ↑logical system, ↑system of… … Useful english dictionary
symbolic language — noun : a language that employs symbols either extensively or exclusively; especially : one that has been artificially constructed for the purpose of precise formulations (as in symbolic logic, mathematics, or chemistry) compare calculus 3 * * * a … Useful english dictionary
calculus — noun (plural calculi; also luses) Etymology: Latin, stone (used in reckoning) Date: 1666 1. a. a method of computation or calculation in a special notation (as of logic or symbolic logic) b. the … New Collegiate Dictionary
calculus of individuals — a branch of symbolic logic designed to avoid the terminological platonism inherent in an algebra of classes by recourse to the notion of individuals especially in their relationships of overlapping, discreteness, and being a part … Useful english dictionary